You have chosen Laches, Nominalism and Substitutional Quantifiers and Laches.
All three must be different; choose another text.